841. Proceedings of the Ninth Annual Structure in Complexity Theory Conference, Jun 28-July 1, 1994, Amsterdam, The Netherlands
پدیدآورنده: sponsored by IEEE Computer Society, Technical Committee on Mathematical Foundations of Computing ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Computational complexity - Congresses
رده :
QA
267
.
7
.
S75
1994
842. Proceedings of the Ninth International Conference on Dependability and Complex Systems
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: System theory -- Congresses,Computational complexity -- Congresses,Reliability (Engineering) -- Congresses,نظریه سیستمها -- کنگره ها,پیچیدگی محاسباتی -- کنگره ها,اطمینانپذیری (مهندسی) -- کنگرهها
رده :
E-Book
,
843. Proceedings of the Ninth Structure in Complexity Theory Conference, June 28-July 1, 1994, Amsterdam, The Netherlands
پدیدآورنده: Structure in Complexity Theory Conference )9th: 4991: Amsterdam, The Netherlands(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Computational Complexity -- Congresses
رده :
QA
267
.
7
.
S75
1994
844. Proceedings of the Sixth Annual Structure in Complexity Theory Conference, June 30-July 3, 1991, University of Chicago, Chicago, Illinois
پدیدآورنده: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing )and( University of Chicago, in cooperation with ACM SIGACT )and( EATCS
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: Congresses ، Computational complexity
رده :
QA
267
.
7
.
S75
1991
845. Proceedings of the 33rd annual ACM Symposium on the Theory of Computing : Hersonissos, Crete, Greece, July 6-8, 2001
پدیدآورنده: Sponsored by SIGACT ]The ACM Special Interest Group for Algorithms and Computation Theory[, organized by the Computer Technology Institute
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computational complexity
رده :
QA
267
.
7
.
A25
2001
846. Proceedings of the symposium characterising complex systems
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، System theory-- Congresses,، Chaotic behavior in systems-- Congresses,، Computational complexity-- Congresses
رده :
Q
295
.
I574
1989
847. Proceedings of the 36th Annual ACM Symposium on Theory of Computing, Chicago, Lllinois, USA, June 13-15, 2004
پدیدآورنده: sponsored by SIGACT, The ACM Special Interest Group for Algorithms and Computation Theory
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computational complexity
رده :
QA
267
.
7
.
A25
2004
848. Proceedings of the 34th Annual ACM Symposium on Theory of Computing, Montreal, Quebec, Canada, May 19-21, 2002
پدیدآورنده: Sponsored by SIGACT )The special Interest Group for Algorithms and Computational Theory(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computational complexity
رده :
QA
267
.
7
.
A25
2002
849. Proceedings of the thirty-third annual ACM Symposium on the Theory of Computing: Hersonissos, Crete, Greece, July 6-8, 2001
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Machine theory,Congresses ، Computational complexity
رده :
QA
267
.
A27
2001
850. Proceedings, structure in complexity theory: fourth annual conference, June 19-22, 1989, University of Oregon, Eugene, Oregon
پدیدآورنده: Sponsored by Computer Society Technical Committee on Mathematical Foundations of Computing
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Computational complexity -- Congresses
رده :
QA
267
.
P757
1989
851. Proceedings : 15th Annual IEEE conference on computational complexity : July 4-7, 2000 Florence, Italy
پدیدآورنده: IEEE Conference on Computational Complexity) 51th: 0002: Florence, Italy(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Computational complexity - Congresses,، Nonlinear boundary value problems - Congresses
رده :
QA
267
.
7
.
S76
2000
852. Proceedings 15th Annual IEEE conferene computational complexity, July 4-7, 2000, Florence, Italy
پدیدآورنده: sponsored by IEEE Computer Society Technical Commitee for Mathematical Foundations of Computing; in cooperation with ACM SIGACT EATCS
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Computational complexity,Congresses ، Nonlinear boundary value problems,Congresses ، Polynomials
رده :
QA
267
.
7
.
S77
2000
853. Product and systems development : a value approach
پدیدآورنده: / Stanley I Weiss
کتابخانه: کتابخانه پردیس بین الملل كیش (دانشگاه تهران) (هرمزگان)
موضوع: New products--Planning.,Computational complexity--Handbooks, manuals, etc.,Network analysis (Planning)--Handbooks, manuals, etc.
رده :
TS170
.
W45
2013
854. Proof complexity
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Proof theory. ; Computational complexity. ;
856. Public Key Cryptography ђ́أ PKC 2012
پدیدآورنده: edited by Marc Fischlin, Johannes Buchmann, Mark Manulis
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity,Computer Communication Networks,Computer science,Computer software,Data encryption (Computer science),Data protection,Information Systems,Algorithm Analysis and Problem Complexity,Computer Communication Networks,Computer Science,Data Encryption,Discrete Mathematics in Computer Science,Management of Computing and Information Systems,Systems and Data Security
858. Randomized algorithms
پدیدآورنده: / Russ Bubley
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Markov processes,Monte Carlo method,Computational complexity
رده :
QA274
.
2
.
B82
2001
859. Randomized algorithms :
پدیدآورنده: Russ Bubley
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity,Markov processes,Monte Carlo method
رده :
QA274
.
2
.
B82
2001
860. Randomized algorithms
پدیدآورنده: / Russ Bubley
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Markov processes,Monte Carlo method,Computational complexity
رده :
QA274
.
2
.
B82
2001
